A great new article by Amita Vadhavkar and Prashant U. Admile (IBM software engineers) has been published on developerWorks. http:www.ibm.comdeveloperworkslotuslibraryalloydatabaseindex.html?cadrsUnderstanding the Web services database (NDERPws.nsf) in Alloy by IBM and SAP explains ...